infer T extends ..

Conditional Types使う時で、分岐多くない？って時に利用を検討すると上手くいくかもmrsekut.icon

(extends右項の中で)extendsの左項でもinferが使える

v4.7で入った ref

例

code:ts

type FirstIfString<T> =

T extends [infer S extends string, ...unknown[]]

? S

: never;

以下と同じ意味

code:ts

type FirstIfString<T> =

T extends [infer S, ...unknown[]]

? S extends string ? S : never

: never;

code:ts

type FirstIfString<T> =

T extends [string, ...unknown[]] ? T0 : never;